proof theory中文是什么意思

發(fā)音:

中文翻譯
造句

證蜜
證明論

proof n. 1.證明；證據(jù)；【法律】證件；【法律】(口頭或書面 ...
theory n. 1.理論，學理，原理。 2.學說，論說 (opp. ...
-proof 后綴表示“耐，防(等)”：acid-proof 耐酸的。Air-proof 密封的。 Dust-proof 防塵的。 Fire-proof 防火的。 Radar-proof 反雷達的。 Slander-proof 聽了壞話不會生氣的。 Sound-proof 隔音的。 Water-proof 防水的。
a proof 防原子的
a-proof 防原子的
in proof of 作...的證據(jù)
proof n. 1.證明；證據(jù)；【法律】證件；【法律】(口頭或書面)證詞，證言。 2.檢驗，考驗；驗算；檢定的品質(zhì)[強度等]。 3.試管。 4.【印刷】校樣，印樣。 5.(酒精的)標準強度。 6.(甲胄等的)耐力，堅牢強度，不貫穿性。 7.【攝影】樣片；樣張。 8.[Scot.] 審問。 9.【數(shù)學】證，證明，證法。 The proof of the pudding is in the eating. 布丁好壞一吃即知；空談不如實驗。 Here is proof positive. 有確實證據(jù)。 a foul proof 錯字很多的校樣。 a foundry proof (壓型前的)清樣。 an artist's [engraver's] proof 版面印樣。 stand a severe proof 經(jīng)受嚴格的考驗。 afford proof of 提供證據(jù)。 armour of proof 戳不通的堅牢的鎧甲。 below proof 不合格。 bring [put] to the proof 試，試驗。 have proof of shot 能防彈，能避彈。 in proof of 作…的證據(jù)。 proof positive of his intention 他的企圖的確證。 read the proof 校對。 adj. 1.試驗過的，有保證的；(酒)合標準的，規(guī)定的。 2.校樣的。 3.(子彈等)不入的，耐…的，防…的。 a proof coin 標準貨幣，制錢。 a proof sample 樣品。 proof against the severest weather 經(jīng)得起任何酷烈天氣的。 proof against the pricks of all temptations 不為任何誘惑所動的。 vt. 使經(jīng)得住，使(布等)耐久[不漏水(等)]。 proofed cloth 防水布。 adj. -less 無證據(jù)的。
proof of will 遺囑證明, 遺囑認證
and theory 經(jīng)驗與理論，119
in theory 從理論上說; 理論上，理論上講
s theory 弗洛倫斯學說; 戈爾茨學說; 赫伯理論; 嘉農(nóng)氏理論
the theory of the 事業(yè)理論
theory n. 1.理論，學理，原理。 2.學說，論說 (opp. hypothesis)。 3.推測，揣度。 4.〔口語〕見解，意見。 the theory of two points 兩點論。 Darwin's theory of evolution 達爾文的進化論。 theory of equations 【數(shù)學】方程論。 theory of everything 【物理學】(把相對論、量子論和宇宙大爆炸理論都包括在內(nèi)的)萬用理論。 theory of relativity 【物理學】相對論。 the atomic theory 原子說。 Our scheme is good both in theory and in practice. 我們的方案在理論上和實施上都是好的。 combine [separate] theory with [from] practice 理論結(jié)合[脫離]實際。 My theory is that we must bring new blood into the Institute through appointment of younger men to important positions. 我的意見是我們學院應(yīng)該通過重用年輕一些的人來注入新的血液。 theory of games 博弈論，對策論，權(quán)衡利弊得失的形勢分析。
theory of 經(jīng)驗的理論，6
will theory 意思說
flame proof = flame-proof 防火的
proof sheet; proof 紅樣
a documentory proof 用文件來證實日期
abrasion proof 耐磨的
abrasion-proof 防磨的; 耐磨的
absolute proof 絕對證明
abundant proof 充分的證據(jù)
accident proof 安全的
acid proof 耐防酸的; 耐酸,抗酸; 耐酸的; 酎酸的
acid-proof adj. 耐酸的。

"查查詞典"手機版

千萬人都在用的超大詞匯詞典翻譯APP

例句與用法

The subsumption and request of problem is formalized by xdd and the problem is evaluated by means of proof theory
將證明論方法引入到xml中，建立了基于xml的證明論。
Applying the methods of gray system synthesize evaluation and proof theories , got the outburst dangerous grade samples
在此基礎(chǔ)上，提出了危險信度的概念，用以衡量突出礦井危險程度，編制了神經(jīng)網(wǎng)絡(luò)，并對其進行訓(xùn)練。
The author anticipate future of constitutionlism building in china and proof theory of constitution chang , recruitment and explanation . at the same time
預(yù)測了我國憲政建設(shè)的趨勢，論述了現(xiàn)行憲法應(yīng)修改、補充的內(nèi)容及解釋原理。
A clause is formalized as a relational algebra expression and evaluated by employment of relational algebra operations . 3 . the proof theory based on xml is presented
提出了利用關(guān)系代數(shù)運算實現(xiàn)xml查詢子句求值的方法，并證明了該方法的正確性。
Based on the characteristics of measurement safety inspection system for railway freight transportation under the condition of electrification and informationization , the essay the nessity to apply lightning proof by modern proof theory , and introduces the integrated lighting proof technology
摘要針對電氣化、信息化條件下鐵路貨運計量安全檢測系統(tǒng)的特點，利用現(xiàn)代防雷理論分析對其進行雷電防護的必要性，并對其綜合防雷技術(shù)進行了相應(yīng)介紹。
The ids works by two way , misuse detection and anomaly detection , misuse detection flags an intrusion on intrusion signature , this kind of detecting technic can be realized much more easily , and much more accurate , but it can not find some intrusiones that have been disguised or new kinds of intrusion . the anomaly detection can detect in more wide field , anomaly detection can compare new statistic data with average record , then anomaly record will be found , but it ' s more difficult to set a threshold , if the threshold is too big , some intrusion may be put through , if the threshold is too small , the ids will give more false positive alarm , and the threshold will be different with different people or different period , so the ids just simply show us their suspicious record , the administrator or expert will be in duty to analyze this record and give conclusion , the ids give more alarm than it should , leave us more detection record to analyze , and this is a hard work , we can not distinguish an intrusion or not if we analyze only one record , but we can judge if we find the relation among mass detection evidence . in this article , we try distinguish an intrusion using d - s theory ( proof theory ) instead using manual work , the ids will be more helpful and efficient
濫用檢測采用的是特征檢測的方法，實現(xiàn)較為簡單，判斷的準確性較高，但是不能判斷一些經(jīng)過偽裝的入侵或特征庫中尚未包含的入侵，異常檢測能夠根據(jù)以往記錄的特征平均值，判斷出異常情況，但是對于異常到什么程度才視為入侵，這個閥值非常難以確定，閥值設(shè)定的太高，有可能漏過真正的入侵，如果設(shè)定的閥值太低，又會產(chǎn)生較高的誤警率，而且這個閥值因人而異，因時而異，因此現(xiàn)在的入侵檢測系統(tǒng)把這部分異常記錄以一定的形式顯示出來或通知管理人員，交給管理人員去判斷，而這些ids系統(tǒng)難以判斷的記錄，如果對每個證據(jù)單獨地進行觀察，可能是難以判斷是否是入侵，而把許多先后證據(jù)關(guān)聯(lián)起來，專家或管理人員根據(jù)經(jīng)驗?zāi)軌蚺袛嘣L問的合法性，本文試圖引入人工智能中證據(jù)理論的推理策略和示例學習方法，代替人工檢查分析，可以提高效率，降低誤警率，并可以對一個正在進行得可疑訪問實現(xiàn)實時檢測，通過搜索及時判斷，及時阻斷非法訪問，比事后得人工處理更有意義。

百科解釋

Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of the logical system.

詳細百科解釋

推薦英語閱讀

proof theory的中文翻譯，proof theory是什么意思，怎么用漢語翻譯proof theory，proof theory的中文意思，proof theory的中文，proof theory in Chinese，proof theory的中文，proof theory怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。